منابع مشابه
Optimistic Recovery in Multi-threaded Distributed Systems
The problem of recovering distributed systems from crash failures has been widely studied in the context of traditional non-threaded processes. However, extending those solutions to the multi-threaded scenario presents new problems. We identify and address these problems for optimistic logging protocols. There are two natural extension to optimistic logging protocols in the multi-threaded scena...
متن کاملRecovery in Distributed Systems Using Optimistic Message Logging and Checkpointing
In a distributed system using message logging and checkpointing to provide fault tolerance there is always a unique maximum recoverable system state regardless of the message logging protocol used The proof of this relies on the observation that the set of system states that have occurred during any single execution of a system forms a lattice with the sets of consistent and recoverable system ...
متن کاملDistributed Recovery with K-Optimistic Logging
Fault-tolerance techniques based on checkpointing and message logging have been increasingly used in real-world applications to reduce service down-time. Most industrial applications have chosen pessimistic logging because it allows fast and localized recovery. The price that they must pay, however, is the high failure-free overhead. In this paper, we introduce the concept of K-optimistic loggi...
متن کاملIndependent Checkpointing and Concurrent Rollback for Recovery in Distributed Systems - An Optimistic Approach
Checkpointing in a distributed system is essential for recovery to a globally consistent state after failure. In this paper, we propose a solution that benifits from the research in concurrency control, commit protocols, and site recovery algorithms. A number of checkpointing processes, a number of rollback processes, and computations on operational processes can proceed concurrently while tole...
متن کاملDistributed Optimistic Concurrency Considered Optimistic
Optimistic concurrency relies on speculative execution, read-write conflict detection, and checkpointrollback techniques to provide a programming model that replaces locks with the abstraction of atomic, isolated execution of critical sections. Previous research has shown that on chip multi-processors, a class of workloads featuring irregular parallelism and rare read-write conflicts can reap s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computer Systems
سال: 1985
ISSN: 0734-2071,1557-7333
DOI: 10.1145/3959.3962